Перевод: с английского на все языки

со всех языков на английский

Со всех языков на:
Английский
С английского на:
Все языки
Русский
Французский

separable logic

Толкование Перевод

1 separable logic

мат. разделимая логика

Большой англо-русский и русско-английский словарь > separable logic
2 separable logic

Математика: разделимая логика

Универсальный англо-русский словарь > separable logic
3 separable logic

мат.

разделимая логика

English-Russian scientific dictionary > separable logic
4 logic

1) логика || логический

2) вчт логические схемы, логика

3) логический блок; логический узел

•

logic with identity — логика с тождеством

logic without identity — логика без тождества

- algebraic logic

- applied logic

- auxiliary logic

- bivalent logic

- cellular logic

- class logic

- classical logic

- classical propositional logic

- commodity logic

- continuous logic

- countably complete logic

- decision logic

- decoding logic

- deductive logic

- derivative logic

- deterministic logic

- dialectical logic

- digitizing logic

- dual logic

- dyadic logic

- dynamic logic

- elementary logic

- empirical logic

- equational logic

- extended logic

- extensional logic

- external logic

- feature logic

- finite-valued logic

- first-order logic

- free logic

- fuzzy logic

- general modal logic

- generalized logic

- generalized stochastic logic

- heuristic logic

- imperative logic

- implicational logic

- inductive logic

- inductively generated logic

- infinitary logic

- infinite-valued logic

- intensional logic

- intermediate logic

- intrinsic logic

- intuitionistic logic

- iterative logic

- lattice-theoretic logic

- limit logic

- logic of certainty

- logic of evidence

- logic of existence

- logic of higher order

- logic of modalities

- logic of norms

- logic of part

- logic of preference

- logic of strict implication

- logic of truth

- logic of verification

- logic of whole

- minimal logic

- modal logic

- monadic logic

- multivalued logic

- natural logic

- nonclassical logic

- nonconstructive logic

- nonmonotonic logic

- normative logic

- n-valued logic

- object logic

- orthodox logic

- polyvalent logic

- positive logic

- predicate logic

- projectively generated logic

- propositional logic

- pure logic

- quantificational logic

- quite full logic

- reduced logic

- redundant logic

- search logic

- semicomplete logic

- sentential logic

- separable logic

- set-theoretic predicate logic

- shielded

- situational logic

- static logic

- stochastic logic

- strict logic

- strongly strict logic

- superintuitionistic logic

- switching logic

- syllogistic logic

- system logic

- technical logic

- tense logic

- three-level logic

- three-valued logic

- topological logic

- traditional logic

- transforming logic

- trivalent logic

- unordered logic

- unorthodox logic

- unspecialized logic

English-Russian scientific dictionary > logic
5 разделимая логика

мат. separable logic

Большой англо-русский и русско-английский словарь > разделимая логика
6 fly

fly [flaɪ]

mouche ⇒ 1 (a) braguette ⇒ 1 (b) voler ⇒ 2 (a), 2 (c) prendre l'avion ⇒ 2 (a) filer ⇒ 2 (b) piloter ⇒ 3 (a)

(pl flies, pt flew [flu:], pp flown [fləʊn])

1 noun

(a) Entomology & Fishing mouche f;

∎ familiar they're dropping like flies (dying, fainting) ils tombent comme des mouches;

∎ familiar this illness is killing them off like flies cette maladie les fait tomber comme des mouches;

∎ familiar the recession is killing companies off like flies la récession fait une véritable hécatombe parmi les entreprises;

∎ figurative the fly in the ointment (person) l'empêcheur(euse) m,f de tourner en rond; (problem) l'os m;

∎ figurative there's a fly in the ointment il y a un os;

∎ familiar there are no flies on him il n'est pas fou;

∎ figurative he wouldn't hurt a fly il ne ferait pas de mal à une mouche;

∎ British familiar I wouldn't mind being a fly on the wall j'aimerais bien être une petite souris;

∎ familiar to be catching flies (yawn, have mouth open) gober les mouches;

∎ American familiar to live on the fly vivre à cent à l'heure

(b) (often pl) (on trousers) braguette f;

∎ your flies are or fly is undone or open ta braguette est ouverte

(c) (entrance to tent) rabat m; (flysheet) auvent m

(d) Technology (flywheel) volant m

(e) (in aeroplane)

∎ to go for a fly faire un tour en avion

(f) British familiar (idiom)

∎ to do sth on the fly (craftily, secretively) faire qch en douce

2 intransitive verb

(a) (bird, insect, plane, pilot) voler; (passenger) prendre l'avion; (arrow, bullet, missile) voler, filer;

∎ the first plane to fly faster than the speed of sound le premier avion à dépasser la vitesse du son;

∎ it flies well (plane) il se pilote bien;

∎ I'm flying to Berlin tomorrow (passenger) je prends l'avion pour Berlin demain; (pilot) je vole à Berlin demain;

∎ he flies to Paris about twice a month (passenger) il va à Paris en avion environ deux fois par mois;

∎ we fly to Berlin four days a week (airline) nous avons des vols pour Berlin quatre jours par semaine;

∎ we fly to over a dozen destinations (airline) nous desservons plus d'une douzaine de destinations;

∎ soon we'll be flying over Manchester nous allons bientôt survoler Manchester;

∎ to fly across the Channel traverser la Manche en avion;

∎ to fly via London faire escale à Londres;

∎ those who have flown British in or American with Concorde ceux qui ont voyagé en Concorde, ceux qui ont pris le Concorde;

∎ he flies for an American airline il est pilote dans une compagnie aérienne américaine;

∎ which airline did you fly with? avec quelle compagnie aérienne as-tu voyagé?;

∎ they don't fly from Heathrow any more ils n'ont plus de vols au départ de Heathrow;

∎ the trapeze artist flew through the air le trapéziste a voltigé;

∎ figurative the bird had already flown l'oiseau s'était envolé

(b) (move quickly → person) filer; (→ time) passer à toute vitesse; (flee) s'enfuir; (shoot into air → sparks, dust, cork, shavings) voler;

∎ familiar I really must fly! il faut vraiment que je file ou que je me sauve!;

∎ she flew out of the room elle est sortie de la pièce comme un bolide;

∎ he came flying round the corner il a débouché du coin comme un bolide;

∎ he flew to her rescue il a volé à son secours;

∎ the time seems to have flown! le temps est passé à une vitesse!;

∎ the past two years have just flown les deux dernières années ont passé à toute vitesse ou se sont envolées;

∎ time flies!, doesn't time fly! comme le temps passe!;

∎ the door flew open and there stood… la porte s'est ouverte brusquement sur…;

∎ to fly into a rage or temper s'emporter, sortir de ses gonds;

∎ to knock or to send sb flying envoyer qn rouler à terre;

∎ to knock or to send sth flying envoyer qch voler;

∎ his hat went flying across the room son chapeau a volé ou voltigé à travers la pièce;

∎ the insults were really flying les insultes fusaient de toutes parts

(c) (kite) voler; (flag) être déployé; (in wind → flag, coat) flotter; (→ hair) voler

(d) (idioms)

∎ to let fly (physically) envoyer ou décocher un coup; (verbally) s'emporter;

∎ he let fly with a powerful left hook il a décoché ou envoyé un puissant crochet du gauche;

∎ she then let fly with a string of accusations elle a alors lancé un flot d'accusations;

∎ to (let) fly at sb (physically) sauter ou se jeter sur qn; (verbally) s'en prendre violemment à qn;

∎ to fly in the face of sth (reason, evidence, logic) défier qch;

∎ this flies in the face of our agreement cela contrecarre notre accord

3 transitive verb

(a) (plane, helicopter → of pilot) piloter;

∎ to fly Concorde (pilot) piloter le Concorde; (passenger) prendre le Concorde, voyager en Concorde

(b) (passengers, people, goods) transporter en avion; (route → of pilot, passenger) emprunter; (airline) voyager avec; (distance → of passenger, pilot, plane) parcourir; (combat mission) effectuer;

∎ to fly the Atlantic (pilot, passenger) traverser l'Atlantique en avion; (plane) traverser l'Atlantique;

∎ her employers flew her to the States ses employeurs l'ont envoyée aux États-Unis en avion;

∎ we're flying them home on the first flight nous les rapatrions par le premier vol

(c) (flag → of ship) arborer; (kite) faire voler;

∎ a flag is flown on public buildings when… tous les bâtiments publics arborent un drapeau quand…

(d) (flee from → the country) fuir;

∎ familiar to fly the coop se faire la malle;

∎ to fly the nest (baby bird) quitter le nid; figurative (person) quitter le foyer familial

4 adjective familiar

(a) British old-fashioned (sharp) malin(igne)^□, rusé^□ ;

∎ a fly guy un malin, un rusé

(b) black American slang (excellent) génial, super, géant; (stylish, attractive) chouette

►► fly agaric amanite f tue-mouches;

fly ball (in baseball) chandelle f;

fly cruise forfait m avion et croisière;

Sport fly half (in rugby) demi m d'ouverture;

∎ to play fly half jouer (en) demi d'ouverture;

Sport fly kick (in rugby) coup m de pied à suivre;

Fishing fly rod canne f à mouche;

fly spray bombe f insecticide

➲ fly about, fly around intransitive verb

(bird, insect) voleter, voltiger; (plane, pilot) voler dans les parages, survoler les parages; figurative (rumours) courir;

∎ there are lots of figures flying about or around on entend tellement de chiffres différents

➲ fly away intransitive verb

(bird, insect, plane) s'envoler

➲ fly back

1 intransitive verb

(bird, insect) revenir; (plane) revenir; (passenger) rentrer en avion

2 separable transitive verb

(person, passengers → to an area) emmener en avion; (→ from an area) ramener en avion; (→ to own country) rapatrier en avion

➲ fly by intransitive verb

(a) (time) passer à toute vitesse;

∎ the time has flown by! comme le temps a passé!;

∎ as the days flew by à mesure que les jours s'enfuyaient

(b) (plane) passer

➲ fly in

1 intransitive verb

(a) (person) arriver en avion; (plane) arriver

(b) (bird, insect) entrer

2 separable transitive verb

(troops, reinforcements, food) envoyer en avion; (of pilot → to an area) emmener; (→ from an area) amener

➲ fly off

1 intransitive verb

(a) (bird, insect) s'envoler; (plane) décoller; (person) partir en avion;

∎ when do you fly off to Paris? quand prenez-vous l'avion pour Paris?;

∎ she's always flying off somewhere elle est toujours entre deux avions

(b) (hat, lid) s'envoler; (button) sauter

2 separable transitive verb

(a) (from oil rig, island) évacuer en avion ou hélicoptère

(b) (transport by plane → to an area) emmener en avion; (→ from an area) amener en avion

➲ fly out

1 intransitive verb

(a) (person) partir (en avion), prendre l'avion; (plane) s'envoler;

∎ planes fly out of the airport at a rate of 20 an hour les avions décollent de l'aéroport au rythme de 20 par heure;

∎ which airport did you fly out of? de quel aéroport es-tu parti?;

∎ a medical team flew out to the disaster area une équipe médicale s'est rendue en avion sur la région sinistrée;

∎ I'll fly out to join you next Monday je prendrai l'avion pour te rejoindre lundi prochain;

∎ we flew out but we're going back by boat nous avons fait l'aller en avion mais nous rentrons en bateau

(b) (come out suddenly → from box, pocket) s'échapper;

∎ the knife flew out of his hand le couteau lui a échappé de la main

(c) (bird) sortir en volant

2 separable transitive verb

(person, supplies → to an area) envoyer par avion; (→ from an area) évacuer par avion;

∎ they flew the President out (to a place) ils ont emmené le président en avion; (from a place) ils ont ramené le président en avion

➲ fly past intransitive verb

(a) (plane, bird) passer; (plane → as part of display, ceremony) défiler;

∎ figurative he flew past on a bicycle il est passé à toute vitesse en bicyclette

(b) (time, days) passer à toute vitesse

➲ fly up intransitive verb

(a) (plane, bird) s'envoler;

∎ the plane flew up to 10,000 metres l'avion est monté à 10000 mètres;

∎ I flew up from London on Saturday j'ai pris l'avion depuis Londres samedi

(b) (end of plank, lid) se soulever;

∎ glass flew up into the air des éclats de verre ont été projetés en l'air

✾ Book ✾ Film 'One flew over the Cuckoo's Nest' Kesey, Forman 'Vol au-dessus d'un nid de coucou'

Un panorama unique de l'anglais et du français > fly
7 chop

chop [tʃɒp] (pt & pp chopped, cont chopping)

1 transitive verb

(a) (cut → gen) couper; (→ wood) couper; Cookery hacher;

∎ to chop sth into pieces couper qch en morceaux;

∎ to chop sth finely hacher qch menu;

∎ to chop logic couper les cheveux en quatre

(b) (hit) donner un coup à, frapper

(c) familiar (reduce → budget, funding) réduire^□, diminuer^□ ; (→ project) mettre au rancart

(d) Sport (ball) couper

2 intransitive verb

(change direction) varier;

∎ to chop and change changer constamment d'avis;

∎ he's always chopping and changing (changing his mind) il change d'opinion à tout bout de champ

3 noun

(a) (blow → with axe) coup m de hache; (→ with hand) coup m;

∎ familiar to get or to be given the chop British (employee) être viré; (project) être mis au rancart; (chapter, part of text, film etc) être supprimé^□ ;

∎ British familiar the welfare programmes are for the chop les programmes d'assistance sociale vont être supprimés;

∎ he's for the chop il va y passer

(b) Cookery (of pork, lamb) côtelette f

(c) Golf coup m piqué

(d) (in tennis) volée f coupée ou arrêtée

4 chops plural noun

(jowls → of person) joue f; (→ of animal) bajoues fpl;

∎ to lick one's chops se pourlécher les babines

➲ chop at inseparable transitive verb

(a) (try to cut → gen) tenter de couper; (→ with axe) donner des coups de hache à, tailler (à la hache)

(b) (try to hit) essayer de frapper

➲ chop down separable transitive verb

abattre

➲ chop off separable transitive verb

trancher, couper;

∎ they chopped off the king's head ils ont coupé la tête au roi

➲ chop up separable transitive verb

couper en morceaux, hacher; Cookery hacher

Un panorama unique de l'anglais et du français > chop
8 programming

сущ.
1) планирование
2) программирование ∙ - automatic programming - mathematical programming programming of construction investment programming programming language programming strategy Syn: planning составление программы выполнение программы программирование - * environment среда программирования - * language язык программирования - automatic * автоматическое программирование воспроизведение режима работы absolute ~ вчт. программирование в абсолютных адресах action-driven ~ вчт. программирование управляемое событиями automatic ~ вчт. автоматическое программирование block ~ вчт. блочное программирование computer ~ вчт. программирование ЭВМ computer-aided ~ вчт. автоматическое программирование computerized ~ вчт. автоматическое программирование concave ~ вчт. вогнутое программирование concurrent ~ вчт. параллельное программирование control-oriented ~ вчт. программирование задач управления convex ~ вчт. выпуклое программирование data-driven ~ вчт. программирование управляемый данными discrete ~ вчт. дискретное программирование dynamic ~ вчт. динамическое программироване dynamic ~ вчт. динамическое программирование dynamical ~ вчт. динамическое программирование egoless ~ вчт. безличное программирование encapsulated ~ вчт. модульное программирование end-user ~ вчт. средства программирования для пользователя event-driven ~ вчт. программирование управляемое событиями geometric ~ вчт. геометрическое программирование geometrical ~ вчт. геометрическое программирование heuristic ~ вчт. эвристическое программирование hyperbolic ~ вчт. гиперболическое программирование hyperbolical ~ вчт. гиперболическое программирование iconic ~ вчт. программирование в графических образах imperative ~ вчт. императивное программирование in-house ~ вчт. программирование собственными силами incremental ~ вчт. пошаговое программирование integer ~ вчт. дискретное программирование integer ~ вчт. целочисленное программирование interactive ~ вчт. интерактивное программирование linear ~ вчт. линейное программирование logic ~ вчт. логическое программирование logical ~ вчт. логическое программирование mathematic ~ вчт. математическое программирование mathematical ~ вчт. математическое программирование minimum delay ~ оптимальное программирование minimum delay ~ вчт. программирование по критерию минимизации времени доступа minimum-access ~ вчт. программирование с минимизацией задержки modular ~ вчт. модульное программирование multiple ~ вчт. мульти-программирование nonlinear ~ нелинейное программирование object-oriented ~ вчт. объектно-ориентированное программирование optimum ~ вчт. оптимальное программирование parametric ~ вчт. параметрическое программирование parametrical ~ вчт. параметрическое программирование procedural ~ вчт. процедурное программирование procedure-oriented ~ вчт. процедурно ориентированное программирование programming программирование ~ вчт. программирование quadratic ~ квадратическое программирование relational ~ недетерминированное программирование relative ~ вчт. программирование в относительных адресах rule-based ~ вчт. продукционное программирование rule-oriented ~ вчт. логическое программирование separable ~ вчт. сепарабельное программирование serial ~ вчт. последовательное программирование simplex ~ вчт. симплексное программирование square ~ квадратичное программирование statistical ~ вчт. статистическое программирование stochastic ~ стохастическое программирование structured ~ вчт. структурное программирование symbolic ~ вчт. символическое программирование

Большой англо-русский и русско-английский словарь > programming
9 cool

cool [ku:l]

1. adjective

   a. (in temperature) frais ( fraîche f)

• it is cool outside il fait frais dehors

• I feel cooler now j'ai moins chaud maintenant

• I'm trying to get cool j'essaie d'avoir moins chaud

• to keep sth cool tenir qch au frais

• "keep in a cool place" « tenir au frais »

• "store in a cool, dark place" « conserver au frais et à l'abri de la lumière »

• "serve cool, not cold" « servir frais mais non glacé »

• his forehead is much cooler now il a le front beaucoup moins chaud maintenant

   b. [clothing] léger

• to slip into something cool passer quelque chose de plus léger

   c. [colour] rafraîchissant

   d. ( = calm) calme

• the police's cool handling of the riots le calme avec lequel la police a fait face aux émeutes

• to keep a cool head garder la tête froide

• to keep or stay cool garder son calme

• keep or stay cool! du calme !

   e. ( = audacious, calm) he's a cool customer (inf) il n'a pas froid aux yeux (inf)

• as cool as you please [person] parfaitement décontracté

• to be (as) cool as a cucumber être d'un calme olympien

   f. ( = unfriendly) froid (with or towards sb avec qn)

• to get a cool reception être fraîchement reçu

• the idea met with a cool response cette idée n'a guère suscité d'enthousiasme

   g. ( = trendy) (inf) cool (inf) inv

• to look cool avoir l'air cool (inf)

   h. ( = excellent) (inf) super (inf) inv

   i. ( = not upset) to be cool (inf) [person] rester cool (inf)

   j. ( = full) he won a cool £40,000 (inf) il a gagné la coquette somme de 40 000 livres

2. noun

   a. fraîcheur f, frais m

• in the cool of the evening dans la fraîcheur du soir

• to keep sth in the cool tenir qch au frais

   b. keep your cool! (inf) t'énerve pas ! (inf)

• he lost his cool ( = panicked) il a paniqué ; ( = got angry) il s'est fichu en rogne (inf)

3. transitive verb

[+ air, wine] rafraîchir

• cool it! (inf!) du calme !

4. intransitive verb

also cool down [air] (se) rafraîchir ; [liquid] refroidir

5. compounds

► cool bag noun sac m isotherme

► cool box noun glacière f

► cool-headed adjective calme

► cool down

1. intransitive verb

refroidir ; [anger, person] se calmer ; [critical situation] se détendre

2. separable transitive verb

( = make colder) faire refroidir ; ( = make calmer) calmer

► cool off intransitive verb

( = get cool) se rafraîchir ; ( = lose enthusiasm) perdre son enthousiasme ; ( = change one's affections) se refroidir ( towards sb à l'égard de qn, envers qn ) ; ( = become less angry) se calmer

* * *
[kuːl] 1.
noun

1) ( coldness) fraîcheur f

2) (colloq) ( calm) sang-froid m

to keep one's cool — ( stay calm) garder son sang-froid; ( not get angry) ne pas s'énerver

to lose one's cool — ( get angry) s'énerver; ( panic) perdre son sang-froid
2.
adjective

1) [day, drink, water, weather] frais/fraîche; [dress] léger/-ère; [colour] froid

it's cool today — il fait frais aujourd'hui

to feel cool — [surface, wine] être frais/fraîche

I feel cooler now — j'ai moins chaud maintenant

it's getting cool, let's go in — il commence à faire frais, rentrons

2) ( calm) [approach, handling] calme

to stay cool — garder son sang-froid

to keep a cool head — garder la tête froide

keep cool! — reste calme

3) ( unemotional) [manner] détaché; [logic] froid

4) ( unfriendly) froid

to be cool with ou towards somebody — être froid avec quelqu'un

5) ( casual) décontracté, cool (colloq)

he's a cool customer — il n'a pas froid aux yeux

6) ( for emphasis)

a cool million dollars — la coquette somme d'un million de dollars (colloq)

7) (colloq) ( sophisticated) branché (colloq)

he thinks it's cool to smoke — il pense que ça fait bien de fumer

it's not cool — ça fait nul (colloq)

8) (colloq) US ( great) super! (colloq)
3.
transitive verb

1) ( lower the temperature of) refroidir [soup, pan]; rafraîchir [wine, room]

to cool one's hands — se rafraîchir les mains

2) fig calmer [anger, ardour]
4.
intransitive verb

1) ( get colder) refroidir

2) ( subside) [passion] tiédir; [enthusiasm] faiblir; [friendship] se dégrader

wait until tempers have cooled — attends que les esprits se calment

•

Phrasal Verbs:

- cool down

- cool off

••

cool it! — (colloq) ne t'énerve pas!

to play it cool — (colloq) rester calme

English-French dictionary > cool
10 algebra

алгебра

algebra at infinity — алгебра на бесконечности

algebra over a field — алгебра над полем

algebra with unit element — алгебра с единицей

algebra with prime characteristic — алгебра с простой характеристикой

algebra with minimality condition — алгебра с условием минимальности, алгебра с условием обрыва убывающих цепей

algebra with maximality condition — алгебра с условием максимальности, алгебра с условием обрыва возрастающих цепей

algebra with involution — алгебра с инволюцией

algebra with identity — алгебра с единицей

algebra with differentiation — дифференциальная алгебра

algebra with connection — алгебра со связью

algebra without connection — алгебра без связи

algebra without identity — алгебра без единицы

algebra without radical — алгебра без радикала

it can be shown by a little algebra — путем несложных алгебраических преобразований можно показать

space over algebra — пространство над алгеброй

- absolutely segregated algebra

- abstract algebra

- acyclic algebra

- adjacency algebra

- affine algebra

- affinoidal algebra

- algebra of attributes

- algebra of bounded representation type

- algebra of circuits

- algebra of classes

- algebra of constants

- algebra of endomorphisms

- algebra of events

- algebra of finite order

- algebra of finite rank

- algebra of infinite order

- algebra of infinite rank

- algebra of linearly bounded degree

- algebra of logic

- algebra of partitions

- algebra of quantities

- algebra of recursive functions

- algebra of relations

- algebra of residue classes

- algebra of rows

- algebra of sets

- algebra of smooth germs

- algebra of states and events

- algebra of subsets

- algebra of terms

- algebra of uniform index

- algebra of varieties

- algebraic algebra

- alternate exterior algebra

- alternating algebra

- amenable algebra

- analytic algebra

- annihilator algebra

- annulus algebra

- anticommutative algebra

- antisymmetric algebra

- associative algebra

- atomic algebra

- atomic boolean algebra

- atomless algebra

- attainable algebra

- augmented algebra

- auxiliary algebra

- Banach algebra

- barreled algebra

- basis of algebra

- bicylinder algebra

- bidual algebra

- biregular algebra

- block algebra

- bornological algebra

- cardinal algebra

- Cartan algebra

- categorical algebra

- causal algebra

- centerless algebra

- central algebra

- central division algebra

- centralizable algebra

- circuit algebra

- class algebra

- classical algebra

- closed algebra

- closure algebra

- cofibrant algebra

- cohomology algebra

- collapsing algebra

- collinear algebra

- color algebra

- combinatorial algebra

- commutant algebra

- commutator algebra

- commuting algebra

- compact algebra

- compactly embedded algebra

- complete algebra

- complex algebra

- complexified algebra

- compression of algebra

- condition algebra

- conformal algebra

- connected algebra

- conservative algebra

- constraint algebra

- context-free algebra

- contracted algebra

- contraction algebra

- contravariant algebra

- convex algebra

- convolution algebra

- coordinate algebra

- cosimple algebra

- countably additive algebra

- countably generated algebra

- covered algebra

- cubic algebra

- current algebra

- cylindric algebra

- decidable algebra

- degenerate algebra

- derivation algebra

- derived algebra

- dichotomic algebra

- difference algebra

- differentiable algebra

- differential algebra

- disk algebra

- distinguished algebra

- distributive algebra

- division algebra

- elastic algebra

- elementary algebra

- embedded algebra

- endomorphism algebra

- enumerable algebra

- enveloping algebra

- exceptional algebra

- extended algebra

- exterior algebra

- extremal algebra

- field-like algebra

- finite algebra

- finitely defined algebra

- finitely generated algebra

- fixed algebra

- flat algebra

- free Lie algebra

- freely generated algebra

- full algebra

- fully reducible algebra

- function algebra

- functionally complete algebra

- functionally free algebra

- generalized algebra

- generic algebra

- geometrical algebra

- graded algebra

- graph algebra

- group algebra

- groupoid algebra

- hereditarily paracompact algebra

- heterogeneous algebra

- higher algebra

- holonomy algebra

- homeomorphic algebras

- homogeneous algebra

- homological algebra

- homotopical algebra

- hypercomplex algebra

- hyperfinite algebra

- ideal algebra

- idempotent algebra

- image algebra

- implicative algebra

- imprimitivity algebra

- incidence algebra

- incomplete algebra

- indecomposable algebra

- infinite algebra

- infinitely generated algebra

- injective algebra

- integral algebra

- intuitionistic algebra

- inverse algebra

- involutory algebra

- irreducible algebra

- krakowian algebra

- left algebra

- left-alternative algebra

- limit algebra

- linearly compact algebra

- linearly topological algebra

- local algebra

- locally finite algebra

- locally nilpotent algebra

- locally solvable algebra

- loop algebra

- matrix algebra

- maximal algebra

- measure algebra

- monadic algebra

- monoid algebra

- monomial algebra

- monounary algebra

- multilinear algebra

- multiplication algebra

- multiplicatively convex algebra

- multiplier algebra

- nilpotent algebra

- nonassociative algebra

- nonatomic algebra

- noncommutative algebra

- noncommutative polynomial algebra

- noncompact algebra

- nondegenerated algebra

- nonisomorphic algebra

- nonmetric algebra

- normal algebra

- normalizable algebra

- normalized algebra

- null algebra

- numeroid algebra

- operation algebra

- optional algebra

- ordered algebra

- orthogonal algebra

- p-adic algebra

- pair algebra

- partial algebra

- partially ordered algebra

- polyadic algebra

- polydisk algebra

- polylinear algebra

- polynomial algebra

- power-associative algebra

- primitive algebra

- probability algebra

- projective algebra

- propositional algebra

- pseudonormal algebra

- pseudosimple algebra

- quantifier algebra

- quasiassociative algebra

- quasifinite algebra

- quasilocal algebra

- quasiminor algebra

- quaternion algebra

- quotient algebra

- radical algebra

- ramified algebra

- rational algebra

- real algebra

- reduced algebra

- reductive algebra

- regularizable algebra

- relational algebra

- relationship algebra

- representable algebra

- representation algebra

- residue algebra

- restricted algebra

- retractable algebra

- right alternative algebra

- scale algebra

- segmental algebra

- segregated algebra

- self-adjoint algebra

- semifinite algebra

- semigroup algebra

- semilinear algebra

- semiordered algebra

- semisimple algebra

- semisimplicial algebra

- semitensor algebra

- separable algebra

- sigma algebra

- skew-commutative algebra

- solvable algebra

- special algebra

- spinor algebra

- split algebra

- standard algebra

- star algebra

- state algebra

- stiff algebra

- stochastic algebra

- strict algebra

- subdirectly irreducible algebra

- subdirectly reducible algebra

- subtractive algebra

- sufficient algebra

- superatomic algebra

- supplemented algebra

- switching algebra

- symbolic algebra

- symplectic algebra

- syncopated algebra

- tangent algebra

- ternary algebra

- three-dimensional algebra

- topological algebra

- topologically symmetrical algebra

- transition algebra

- tree algebra

- triply generated algebra

- twisted polynomial algebra

- two-dimensional algebra

- two-element algebra

- two-valued algebra

- uncountable algebra

- ungraded algebra

- uniform algebra

- uniformly closed algebra

- unimodular algebra

- uniserial algebra

- unitary algebra

- universal algebra

- unramified algebra

- variable algebra

- vector algebra

- vector-matrix algebra

- weakly distributive algebra

- weakly hereditary algebra

- word algebra

English-Russian scientific dictionary > algebra
11 prove

prove [pru:v] ( British pt & pp proved, American pt proved, pp proved or proven ['pru:vən])

1 transitive verb

(a) (verify, show) prouver; (by demonstration, argument) démontrer; (one's identity) justifier de;

∎ the facts prove her (to be) guilty les faits prouvent qu'elle est coupable;

∎ the autopsy proved that it was suicide l'autopsie prouva que c'était un suicide;

∎ the evidence goes to prove that… les témoignages concourent à prouver que…;

∎ the accused is innocent until proved or proven guilty l'accusé est innocent jusqu'à preuve du contraire ou tant que sa culpabilité n'est pas prouvée;

∎ to prove sb right/wrong donner raison/tort à qn;

∎ they can't prove anything against us ils n'ont aucune preuve contre nous;

∎ to do sth to prove a point faire qch pour prouver qu'on a raison;

∎ after their relegation last season, the team will be out to prove a point après sa relégation de la saison dernière, l'équipe tâchera de montrer de quoi elle est capable;

∎ I think I've proved my point je crois avoir apporté la preuve de ce que j'avançais;

∎ it remains to be proved whether the decision was correct rien ne prouve que cette décision était la bonne;

∎ she quickly proved herself indispensable elle s'est vite montrée indispensable;

∎ he has already proved his loyalty il a déjà prouvé sa fidélité, sa fidélité n'est plus à prouver

(b) (proposition, theorem → in maths, logic) démontrer

(c) (put to the test) mettre à l'épreuve;

∎ the method has not yet been proved la méthode n'a pas encore fait ses preuves;

∎ to prove oneself faire ses preuves

(d) Law (will) homologuer

(e) archaic (experience) éprouver

2 intransitive verb

(a) (turn out) s'avérer, se révéler;

∎ your suspicions proved (to be) well-founded vos soupçons se sont avérés fondés;

∎ the arrangement proved (to be) unworkable cet arrangement s'est révélé impraticable;

∎ the hotel proved to be open l'hôtel s'avéra être ouvert;

∎ he may prove (to be) of help to you il pourrait bien vous être utile;

∎ it has proved impossible to find him il a été impossible de le retrouver;

∎ if that proves to be the case s'il s'avère que tel est le cas

(b) Cookery (dough) lever

➲ prove out American

1 separable transitive verb

mettre à l'épreuve

2 intransitive verb

faire ses preuves

Un panorama unique de l'anglais et du français > prove
12 programming

absolute programming вчт. программирование в абсолютных адресах action-driven programming вчт. программирование управляемое событиями automatic programming вчт. автоматическое программирование block programming вчт. блочное программирование computer programming вчт. программирование ЭВМ computer-aided programming вчт. автоматическое программирование computerized programming вчт. автоматическое программирование concave programming вчт. вогнутое программирование concurrent programming вчт. параллельное программирование control-oriented programming вчт. программирование задач управления convex programming вчт. выпуклое программирование data-driven programming вчт. программирование управляемый данными discrete programming вчт. дискретное программирование dynamic programming вчт. динамическое программироване dynamic programming вчт. динамическое программирование dynamical programming вчт. динамическое программирование egoless programming вчт. безличное программирование encapsulated programming вчт. модульное программирование end-user programming вчт. средства программирования для пользователя event-driven programming вчт. программирование управляемое событиями geometric programming вчт. геометрическое программирование geometrical programming вчт. геометрическое программирование heuristic programming вчт. эвристическое программирование hyperbolic programming вчт. гиперболическое программирование hyperbolical programming вчт. гиперболическое программирование iconic programming вчт. программирование в графических образах imperative programming вчт. императивное программирование in-house programming вчт. программирование собственными силами incremental programming вчт. пошаговое программирование integer programming вчт. дискретное программирование integer programming вчт. целочисленное программирование interactive programming вчт. интерактивное программирование linear programming вчт. линейное программирование logic programming вчт. логическое программирование logical programming вчт. логическое программирование mathematic programming вчт. математическое программирование mathematical programming вчт. математическое программирование minimum delay programming оптимальное программирование minimum delay programming вчт. программирование по критерию минимизации времени доступа minimum-access programming вчт. программирование с минимизацией задержки modular programming вчт. модульное программирование multiple programming вчт. мульти-программирование nonlinear programming нелинейное программирование object-oriented programming вчт. объектно-ориентированное программирование optimum programming вчт. оптимальное программирование parametric programming вчт. параметрическое программирование parametrical programming вчт. параметрическое программирование procedural programming вчт. процедурное программирование procedure-oriented programming вчт. процедурно ориентированное программирование programming программирование programming вчт. программирование quadratic programming квадратическое программирование relational programming недетерминированное программирование relative programming вчт. программирование в относительных адресах rule-based programming вчт. продукционное программирование rule-oriented programming вчт. логическое программирование separable programming вчт. сепарабельное программирование serial programming вчт. последовательное программирование simplex programming вчт. симплексное программирование square programming квадратичное программирование statistical programming вчт. статистическое программирование stochastic programming стохастическое программирование structured programming вчт. структурное программирование symbolic programming вчт. символическое программирование

English-Russian short dictionary > programming

См. также в других словарях:

Hegel’s logic and philosophy of mind — Willem deVries LOGIC AND MIND IN HEGEL’S PHILOSOPHY Hegel is above all a systematic philosopher. Awe inspiring in its scope, his philosophy left no subject untouched. Logic provides the central, unifying framework as well as the general… … History of philosophy
Quantum logic — In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett… … Wikipedia
Effectively separable — In computability theory, two sets of natural numbers are effectively separable if it is possible to separate the sets with a computable set, and effectively inseparable otherwise. Formal definitionLet A and B be disjoint sets of natural numbers.… … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Aristotle — /ar euh stot l/, n. 384 322 B.C., Greek philosopher: pupil of Plato; tutor of Alexander the Great. * * * born 384, Stagira died 322 BC, Chalcis Greek philosopher and scientist whose thought determined the course of Western intellectual history… … Universalium
Real number — For the real numbers used in descriptive set theory, see Baire space (set theory). For the computing datatype, see Floating point number. A symbol of the set of real numbers … Wikipedia
Quantum entanglement — Quantum mechanics Uncertainty principle … Wikipedia
Aristotelianism — /ar euh steuh teel yeuh niz euhm, tee lee euh , euh ris teuh /, n. 1. the philosophy of Aristotle. 2. emphasis upon deduction and upon investigation of concrete and particular things and situations. [1835 45; ARISTOTELIAN + ISM] * * *… … Universalium
metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… … Universalium
Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на все языки

separable logic

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на все языки

separable logic

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: